In mathematics, a hyperconnected space is a topological space X that cannot be written as the union of two proper closed sets. The name irreducible space is preferred in algebraic geometry.
The (nonempty) open subsets of a hyperconnected space are "large" in the sense that each one is dense in X and any pair of them intersects. Thus, a hyperconnected space cannot be Hausdorff unless it contains only a single point.
Examples of hyperconnected spaces include the cofinite topology on any infinite space and the Zariski topology on an algebraic variety.
Every hyperconnected space is both connected and locally connected (though not necessarily path-connected or locally path-connected). The continuous image of a hyperconnected space is hyperconnected. In particular, any continuous function from a hyperconnected space to a Hausdorff space must be constant. It follows that every hyperconnected space is pseudocompact.
Every open subspace of a hyperconnected space is hyperconnected. A closed subspace need not be hyperconnected, however, the closure of any hyperconnected subspace is always hyperconnected.
An irreducible component in a topological space is a maximal irreducible subset (i.e. an irreducible set that is not contained in any larger irreducible set). The irreducible components are always closed.
Unlike the connected components of a space, the irreducible components need not be disjoint (i.e. they need not form a partition). In general, the irreducible components will overlap. Since every irreducible space is connected, the irreducible components will always lie in the connected components.
The irreducible components of a Hausdorff space are just the singleton sets.
Every noetherian topological space can be written as a finite union of irreducible components.